[next] [prev] [prev-tail] [tail] [up]

2.2.26 Integrals 2501 to 2600

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 2501

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

51 63 60 0 0 0 54 0 0

N.S.

1 1.24 1.18 0.00 0.00 0.00 1.06 0.00 0.00

time (sec)

N/A 0.183 0.048 0.000 0.000 0.000 2.211 0.000 0.000

Problem 2502

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

48 57 57 0 0 0 51 0 0

N.S.

1 1.19 1.19 0.00 0.00 0.00 1.06 0.00 0.00

time (sec)

N/A 0.189 0.037 0.000 0.000 0.000 0.586 0.000 0.000

Problem 2503

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

39 48 48 0 0 0 49 0 43

N.S.

1 1.23 1.23 0.00 0.00 0.00 1.26 0.00 1.10

time (sec)

N/A 0.177 0.027 0.000 0.000 0.000 0.553 0.000 5.847

Problem 2504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 28 23 39 70 26 0 0

N.S.

1 1.00 1.00 0.82 1.39 2.50 0.93 0.00 0.00

time (sec)

N/A 0.168 0.050 4.013 0.297 0.303 0.607 0.000 0.000

Problem 2505

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

49 58 55 0 0 0 51 0 0

N.S.

1 1.18 1.12 0.00 0.00 0.00 1.04 0.00 0.00

time (sec)

N/A 0.185 0.047 0.000 0.000 0.000 0.664 0.000 0.000

Problem 2506

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

51 60 57 0 0 0 53 0 0

N.S.

1 1.18 1.12 0.00 0.00 0.00 1.04 0.00 0.00

time (sec)

N/A 0.189 0.047 0.000 0.000 0.000 0.774 0.000 0.000

Problem 2507

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

48 60 60 0 0 0 51 0 0

N.S.

1 1.25 1.25 0.00 0.00 0.00 1.06 0.00 0.00

time (sec)

N/A 0.181 0.038 0.000 0.000 0.000 0.710 0.000 0.000

Problem 2508

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

39 51 51 0 0 0 49 0 43

N.S.

1 1.31 1.31 0.00 0.00 0.00 1.26 0.00 1.10

time (sec)

N/A 0.168 0.029 0.000 0.000 0.000 0.685 0.000 5.825

Problem 2509

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 46 48 39 57 144 184 0 0

N.S.

1 0.96 1.00 0.81 1.19 3.00 3.83 0.00 0.00

time (sec)

N/A 0.172 0.082 3.570 0.306 0.281 1.130 0.000 0.000

Problem 2510

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

49 61 58 0 0 0 51 0 0

N.S.

1 1.24 1.18 0.00 0.00 0.00 1.04 0.00 0.00

time (sec)

N/A 0.179 0.052 0.000 0.000 0.000 0.898 0.000 0.000

Problem 2511

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

51 63 60 0 0 0 53 0 0

N.S.

1 1.24 1.18 0.00 0.00 0.00 1.04 0.00 0.00

time (sec)

N/A 0.177 0.052 0.000 0.000 0.000 1.111 0.000 0.000

Problem 2512

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

48 60 60 0 0 0 51 0 0

N.S.

1 1.25 1.25 0.00 0.00 0.00 1.06 0.00 0.00

time (sec)

N/A 0.177 0.037 0.000 0.000 0.000 1.102 0.000 0.000

Problem 2513

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

39 51 51 0 0 0 49 0 43

N.S.

1 1.31 1.31 0.00 0.00 0.00 1.26 0.00 1.10

time (sec)

N/A 0.164 0.030 0.000 0.000 0.000 1.093 0.000 5.850

Problem 2514

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 61 53 67 230 860 0 0

N.S.

1 1.00 0.88 0.77 0.97 3.33 12.46 0.00 0.00

time (sec)

N/A 0.188 0.133 3.692 0.425 0.281 2.389 0.000 0.000

Problem 2515

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

49 61 58 0 0 0 51 0 0

N.S.

1 1.24 1.18 0.00 0.00 0.00 1.04 0.00 0.00

time (sec)

N/A 0.194 0.057 0.000 0.000 0.000 1.729 0.000 0.000

Problem 2516

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

51 63 60 0 0 0 53 0 0

N.S.

1 1.24 1.18 0.00 0.00 0.00 1.04 0.00 0.00

time (sec)

N/A 0.179 0.059 0.000 0.000 0.000 2.227 0.000 0.000

Problem 2517

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 102 129 104 108 106 46 0 0

N.S.

1 0.96 1.22 0.98 1.02 1.00 0.43 0.00 0.00

time (sec)

N/A 0.222 0.154 3.706 0.391 0.264 0.737 0.000 0.000

Problem 2518

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 22 24 23 22 36 0 20

N.S.

1 1.00 0.81 0.89 0.85 0.81 1.33 0.00 0.74

time (sec)

N/A 0.171 0.031 0.039 0.248 0.287 0.161 0.000 5.807

Problem 2519

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 22 24 23 22 36 0 20

N.S.

1 1.00 0.81 0.89 0.85 0.81 1.33 0.00 0.74

time (sec)

N/A 0.177 0.030 0.037 0.230 0.272 0.174 0.000 5.959

Problem 2520

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 22 24 23 22 36 0 20

N.S.

1 1.00 0.81 0.89 0.85 0.81 1.33 0.00 0.74

time (sec)

N/A 0.170 0.032 0.036 0.209 0.270 0.166 0.000 5.929

Problem 2521

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 19 21 17 19 31 19 15

N.S.

1 1.00 0.86 0.95 0.77 0.86 1.41 0.86 0.68

time (sec)

N/A 0.163 0.019 0.036 0.228 0.263 0.160 0.288 5.748

Problem 2522

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 18 14 18 15 17 0 13

N.S.

1 1.00 1.38 1.08 1.38 1.15 1.31 0.00 1.00

time (sec)

N/A 0.159 0.003 0.025 0.191 0.272 0.080 0.000 0.002

Problem 2523

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 21 17 16 21 17 21 29

N.S.

1 1.00 1.31 1.06 1.00 1.31 1.06 1.31 1.81

time (sec)

N/A 0.160 0.030 0.035 0.188 0.352 0.495 0.285 6.134

Problem 2524

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 22 24 25 20 39 20 20

N.S.

1 1.00 0.88 0.96 1.00 0.80 1.56 0.80 0.80

time (sec)

N/A 0.168 0.031 0.035 0.202 0.293 0.170 0.301 5.929

Problem 2525

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 22 24 27 22 41 22 22

N.S.

1 1.00 0.81 0.89 1.00 0.81 1.52 0.81 0.81

time (sec)

N/A 0.165 0.032 0.040 0.200 0.260 0.171 0.291 5.805

Problem 2526

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 22 24 27 22 41 22 22

N.S.

1 1.00 0.81 0.89 1.00 0.81 1.52 0.81 0.81

time (sec)

N/A 0.163 0.032 0.037 0.197 0.275 0.175 0.306 5.818

Problem 2527

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 22 24 27 22 41 22 22

N.S.

1 1.00 0.81 0.89 1.00 0.81 1.52 0.81 0.81

time (sec)

N/A 0.163 0.032 0.039 0.199 0.277 0.169 0.282 5.943

Problem 2528

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 40 35 40 39 35 63 0 33

N.S.

1 0.89 0.78 0.89 0.87 0.78 1.40 0.00 0.73

time (sec)

N/A 0.183 0.042 3.745 0.203 0.268 0.245 0.000 5.975

Problem 2529

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 40 35 40 39 35 61 0 33

N.S.

1 0.89 0.78 0.89 0.87 0.78 1.36 0.00 0.73

time (sec)

N/A 0.180 0.038 3.838 0.212 0.268 0.243 0.000 5.783

Problem 2530

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 40 35 40 39 35 63 0 33

N.S.

1 0.89 0.78 0.89 0.87 0.78 1.40 0.00 0.73

time (sec)

N/A 0.177 0.037 3.830 0.212 0.270 0.246 0.000 6.040

Problem 2531

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 36 17 32 53 32 27

N.S.

1 1.00 1.00 1.89 0.89 1.68 2.79 1.68 1.42

time (sec)

N/A 0.147 0.023 3.751 0.203 0.342 0.242 0.290 6.077

Problem 2532

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 32 31 34 30 36 0 30

N.S.

1 1.00 1.00 0.97 1.06 0.94 1.12 0.00 0.94

time (sec)

N/A 0.175 0.007 3.662 0.223 0.258 0.098 0.000 0.002

Problem 2533

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 31 31 30 34 32 34 30

N.S.

1 1.00 1.03 1.03 1.00 1.13 1.07 1.13 1.00

time (sec)

N/A 0.174 0.048 3.757 0.220 0.269 0.588 0.297 5.859

Problem 2534

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 33 33 34 38 36 38 34

N.S.

1 1.00 0.97 0.97 1.00 1.12 1.06 1.12 1.00

time (sec)

N/A 0.176 0.052 3.720 0.222 0.263 1.008 0.286 6.097

Problem 2535

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 35 40 43 33 65 33 33

N.S.

1 1.00 1.46 1.67 1.79 1.38 2.71 1.38 1.38

time (sec)

N/A 0.144 0.040 3.746 0.208 0.256 0.249 0.282 5.930

Problem 2536

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 40 35 40 45 35 70 35 35

N.S.

1 0.89 0.78 0.89 1.00 0.78 1.56 0.78 0.78

time (sec)

N/A 0.177 0.042 3.589 0.207 0.280 0.247 0.285 5.897

Problem 2537

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 40 35 40 45 35 68 35 35

N.S.

1 0.89 0.78 0.89 1.00 0.78 1.51 0.78 0.78

time (sec)

N/A 0.178 0.042 3.900 0.229 0.281 0.242 0.287 5.669

Problem 2538

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 40 35 40 45 35 70 35 35

N.S.

1 0.89 0.78 0.89 1.00 0.78 1.56 0.78 0.78

time (sec)

N/A 0.180 0.043 3.750 0.218 0.272 0.254 0.285 5.701

Problem 2539

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 55 48 56 55 48 87 0 55

N.S.

1 0.87 0.76 0.89 0.87 0.76 1.38 0.00 0.87

time (sec)

N/A 0.198 0.043 3.880 0.212 0.297 0.380 0.000 5.820

Problem 2540

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 55 48 56 55 48 88 0 55

N.S.

1 0.87 0.76 0.89 0.87 0.76 1.40 0.00 0.87

time (sec)

N/A 0.190 0.043 3.683 0.212 0.280 0.369 0.000 5.788

Problem 2541

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 38 48 55 54 48 85 0 54

N.S.

1 0.95 1.20 1.38 1.35 1.20 2.12 0.00 1.35

time (sec)

N/A 0.182 0.043 3.821 0.202 0.291 0.379 0.000 5.809

Problem 2542

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 52 17 45 76 45 51

N.S.

1 1.00 1.00 2.74 0.89 2.37 4.00 2.37 2.68

time (sec)

N/A 0.147 0.024 3.805 0.205 0.258 0.378 0.277 5.763

Problem 2543

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 47 46 44 48 44 53 0 46

N.S.

1 0.94 0.92 0.88 0.96 0.88 1.06 0.00 0.92

time (sec)

N/A 0.183 0.013 3.723 0.202 0.270 0.119 0.000 0.002

Problem 2544

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 46 47 48 47 48 49 48 47

N.S.

1 0.94 0.96 0.98 0.96 0.98 1.00 0.98 0.96

time (sec)

N/A 0.183 0.062 3.639 0.217 0.274 0.837 0.295 5.829

Problem 2545

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 45 46 47 48 51 49 51 48

N.S.

1 0.94 0.96 0.98 1.00 1.06 1.02 1.06 1.00

time (sec)

N/A 0.192 0.075 3.824 0.215 0.279 1.109 0.307 5.724

Problem 2546

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 49 48 49 52 51 53 51 52

N.S.

1 0.94 0.92 0.94 1.00 0.98 1.02 0.98 1.00

time (sec)

N/A 0.192 0.063 3.831 0.218 0.411 1.871 0.306 5.807

Problem 2547

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 48 56 61 46 92 46 61

N.S.

1 1.00 2.00 2.33 2.54 1.92 3.83 1.92 2.54

time (sec)

N/A 0.149 0.047 3.783 0.199 0.271 0.386 0.283 5.773

Problem 2548

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 48 48 56 63 48 94 48 63

N.S.

1 0.96 0.96 1.12 1.26 0.96 1.88 0.96 1.26

time (sec)

N/A 0.170 0.048 3.907 0.201 0.277 0.388 0.304 5.788

Problem 2549

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 55 48 56 63 48 97 48 63

N.S.

1 0.87 0.76 0.89 1.00 0.76 1.54 0.76 1.00

time (sec)

N/A 0.196 0.048 3.648 0.209 0.260 0.380 0.297 5.821

Problem 2550

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 55 48 56 63 48 95 48 63

N.S.

1 0.87 0.76 0.89 1.00 0.76 1.51 0.76 1.00

time (sec)

N/A 0.193 0.049 3.778 0.202 0.291 0.390 0.297 5.811

Problem 2551

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 76 74 87 86 74 136 0 86

N.S.

1 0.90 0.88 1.04 1.02 0.88 1.62 0.00 1.02

time (sec)

N/A 0.218 0.053 4.335 0.190 0.261 0.748 0.000 5.825

Problem 2552

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 57 74 88 87 74 138 0 87

N.S.

1 0.92 1.19 1.42 1.40 1.19 2.23 0.00 1.40

time (sec)

N/A 0.208 0.051 4.444 0.191 0.275 0.743 0.000 5.835

Problem 2553

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 38 74 88 87 74 138 0 87

N.S.

1 0.95 1.85 2.20 2.18 1.85 3.45 0.00 2.18

time (sec)

N/A 0.175 0.050 4.508 0.190 0.282 0.778 0.000 5.745

Problem 2554

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 84 17 71 124 71 83

N.S.

1 1.00 1.00 4.42 0.89 3.74 6.53 3.74 4.37

time (sec)

N/A 0.144 0.025 4.407 0.205 0.273 0.749 0.283 5.757

Problem 2555

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 75 72 70 74 70 85 0 78

N.S.

1 0.89 0.86 0.83 0.88 0.83 1.01 0.00 0.93

time (sec)

N/A 0.201 0.055 3.956 0.201 0.275 0.166 0.000 5.676

Problem 2556

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 74 73 80 79 75 82 75 79

N.S.

1 0.89 0.88 0.96 0.95 0.90 0.99 0.90 0.95

time (sec)

N/A 0.214 0.058 3.821 0.198 0.273 1.697 0.294 6.020

Problem 2557

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 76 73 80 81 77 83 77 81

N.S.

1 0.89 0.86 0.94 0.95 0.91 0.98 0.91 0.95

time (sec)

N/A 0.201 0.069 3.837 0.196 0.260 2.169 0.293 5.964

Problem 2558

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 76 77 80 83 77 83 77 83

N.S.

1 0.89 0.91 0.94 0.98 0.91 0.98 0.91 0.98

time (sec)

N/A 0.208 0.065 3.987 0.193 0.284 2.805 0.298 5.934

Problem 2559

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 73 77 79 84 77 82 77 84

N.S.

1 0.89 0.94 0.96 1.02 0.94 1.00 0.94 1.02

time (sec)

N/A 0.205 0.097 3.960 0.207 0.280 3.642 0.309 5.795

Problem 2560

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 77 74 81 88 77 85 77 88

N.S.

1 0.90 0.86 0.94 1.02 0.90 0.99 0.90 1.02

time (sec)

N/A 0.208 0.080 3.984 0.212 0.282 6.171 0.294 5.863

Problem 2561

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 74 88 97 72 146 72 97

N.S.

1 1.00 3.08 3.67 4.04 3.00 6.08 3.00 4.04

time (sec)

N/A 0.152 0.057 4.601 0.187 0.282 0.767 0.306 5.792

Problem 2562

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 48 74 88 99 74 150 74 99

N.S.

1 0.96 1.48 1.76 1.98 1.48 3.00 1.48 1.98

time (sec)

N/A 0.164 0.060 4.522 0.201 0.263 0.753 0.292 5.843

Problem 2563

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 78 74 88 99 74 150 74 99

N.S.

1 1.01 0.96 1.14 1.29 0.96 1.95 0.96 1.29

time (sec)

N/A 0.184 0.058 4.411 0.208 0.268 0.748 0.297 5.800

Problem 2564

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 83 74 88 99 74 148 74 99

N.S.

1 0.86 0.76 0.91 1.02 0.76 1.53 0.76 1.02

time (sec)

N/A 0.214 0.059 4.561 0.200 0.276 0.752 0.301 5.770

Problem 2565

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 85 74 88 99 74 151 74 99

N.S.

1 0.86 0.75 0.89 1.00 0.75 1.53 0.75 1.00

time (sec)

N/A 0.209 0.060 4.170 0.204 0.264 0.756 0.307 5.825

Problem 2566

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 128 113 136 135 113 212 0 135

N.S.

1 0.85 0.75 0.90 0.89 0.75 1.40 0.00 0.89

time (sec)

N/A 0.266 0.061 9.361 0.224 0.263 2.010 0.000 5.958

Problem 2567

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 128 113 136 135 113 214 0 135

N.S.

1 0.85 0.75 0.90 0.89 0.75 1.42 0.00 0.89

time (sec)

N/A 0.261 0.062 9.390 0.204 0.263 1.953 0.000 5.956

Problem 2568

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 133 113 135 134 113 212 0 134

N.S.

1 0.89 0.75 0.90 0.89 0.75 1.41 0.00 0.89

time (sec)

N/A 0.268 0.061 9.507 0.201 0.384 1.976 0.000 5.838

Problem 2569

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

128 114 113 136 135 113 214 0 135

N.S.

1 0.89 0.88 1.06 1.05 0.88 1.67 0.00 1.05

time (sec)

N/A 0.252 0.060 9.568 0.196 0.258 2.027 0.000 5.909

Problem 2570

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 95 113 136 135 113 212 0 135

N.S.

1 0.90 1.07 1.28 1.27 1.07 2.00 0.00 1.27

time (sec)

N/A 0.237 0.060 9.472 0.202 0.273 1.986 0.000 5.887

Problem 2571

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 76 113 136 135 113 214 0 135

N.S.

1 0.90 1.35 1.62 1.61 1.35 2.55 0.00 1.61

time (sec)

N/A 0.223 0.062 9.519 0.203 0.288 1.961 0.000 5.916

Problem 2572

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 57 113 136 135 113 211 0 135

N.S.

1 0.92 1.82 2.19 2.18 1.82 3.40 0.00 2.18

time (sec)

N/A 0.200 0.078 9.701 0.203 0.256 1.970 0.000 5.898

Problem 2573

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 38 113 136 135 113 212 0 135

N.S.

1 0.95 2.82 3.40 3.38 2.82 5.30 0.00 3.38

time (sec)

N/A 0.180 0.071 9.293 0.210 0.265 1.948 0.000 5.865

Problem 2574

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 132 17 110 189 110 131

N.S.

1 1.00 1.00 6.95 0.89 5.79 9.95 5.79 6.89

time (sec)

N/A 0.150 0.030 9.385 0.200 0.261 1.925 0.270 5.793

Problem 2575

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 120 111 109 113 109 136 0 126

N.S.

1 0.87 0.80 0.79 0.82 0.79 0.99 0.00 0.91

time (sec)

N/A 0.237 0.097 6.376 0.206 0.459 0.284 0.000 5.687

Problem 2576

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 117 112 128 127 114 131 114 127

N.S.

1 0.87 0.83 0.95 0.94 0.84 0.97 0.84 0.94

time (sec)

N/A 0.244 0.102 4.272 0.205 0.266 4.573 0.324 6.146

Problem 2577

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 117 112 128 129 116 131 116 129

N.S.

1 0.87 0.83 0.95 0.96 0.86 0.97 0.86 0.96

time (sec)

N/A 0.255 0.102 4.385 0.204 0.263 5.755 0.408 6.077

Problem 2578

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 115 116 128 131 116 129 116 131

N.S.

1 0.86 0.87 0.96 0.98 0.87 0.97 0.87 0.98

time (sec)

N/A 0.249 0.094 4.094 0.205 0.308 7.166 0.363 6.014

Problem 2579

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 117 116 128 133 116 131 116 133

N.S.

1 0.87 0.86 0.95 0.99 0.86 0.97 0.86 0.99

time (sec)

N/A 0.248 0.097 4.167 0.208 0.272 9.144 0.366 6.145

Problem 2580

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 115 116 128 135 116 129 116 135

N.S.

1 0.86 0.87 0.96 1.02 0.87 0.97 0.87 1.02

time (sec)

N/A 0.244 0.108 4.203 0.202 0.291 11.517 0.361 5.918

Problem 2581

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 117 116 128 137 116 131 116 137

N.S.

1 0.87 0.86 0.95 1.01 0.86 0.97 0.86 1.01

time (sec)

N/A 0.242 0.105 4.357 0.200 0.273 14.718 0.338 5.968

Problem 2582

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 116 116 127 138 116 131 116 138

N.S.

1 0.87 0.87 0.95 1.03 0.87 0.98 0.87 1.03

time (sec)

N/A 0.242 0.163 4.449 0.202 0.431 18.532 0.311 5.973

Problem 2583

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 122 113 129 142 116 136 116 142

N.S.

1 0.87 0.81 0.92 1.01 0.83 0.97 0.83 1.01

time (sec)

N/A 0.244 0.134 4.374 0.209 0.277 29.878 0.359 5.935

Problem 2584

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 113 136 151 111 221 111 151

N.S.

1 1.00 4.71 5.67 6.29 4.62 9.21 4.62 6.29

time (sec)

N/A 0.156 0.093 8.611 0.205 0.296 1.995 0.321 5.894

Problem 2585

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 48 113 136 153 113 230 113 153

N.S.

1 0.96 2.26 2.72 3.06 2.26 4.60 2.26 3.06

time (sec)

N/A 0.169 0.082 8.547 0.237 0.271 1.971 0.333 5.861

Problem 2586

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 78 113 136 153 113 228 113 153

N.S.

1 1.01 1.47 1.77 1.99 1.47 2.96 1.47 1.99

time (sec)

N/A 0.186 0.082 8.637 0.211 0.283 1.982 0.318 5.903

Problem 2587

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 108 113 136 153 113 231 113 153

N.S.

1 1.04 1.09 1.31 1.47 1.09 2.22 1.09 1.47

time (sec)

N/A 0.211 0.092 8.557 0.221 0.284 1.965 0.320 5.872

Problem 2588

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 138 113 136 153 113 230 113 153

N.S.

1 1.05 0.86 1.04 1.17 0.86 1.76 0.86 1.17

time (sec)

N/A 0.224 0.095 8.608 0.204 0.273 1.965 0.324 5.776

Problem 2589

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 128 113 136 153 113 231 113 153

N.S.

1 0.85 0.75 0.90 1.01 0.75 1.53 0.75 1.01

time (sec)

N/A 0.243 0.092 8.522 0.212 0.377 1.965 0.323 5.893

Problem 2590

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 128 113 136 153 113 230 113 153

N.S.

1 0.85 0.75 0.90 1.01 0.75 1.52 0.75 1.01

time (sec)

N/A 0.258 0.083 8.574 0.205 0.277 1.984 0.329 5.863

Problem 2591

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 260 17 214 362 214 259

N.S.

1 1.00 1.00 13.68 0.89 11.26 19.05 11.26 13.63

time (sec)

N/A 0.161 0.030 193.345 0.242 0.274 18.208 0.304 6.346

Problem 2592

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 160 15 14 134 160 14 14

N.S.

1 1.00 10.00 0.94 0.88 8.38 10.00 0.88 0.88

time (sec)

N/A 0.147 0.005 3.806 0.220 0.254 0.040 0.305 5.675

Problem 2593

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 160 15 14 134 160 14 14

N.S.

1 1.00 10.00 0.94 0.88 8.38 10.00 0.88 0.88

time (sec)

N/A 0.146 0.006 4.008 0.210 0.273 0.044 0.280 0.113

Problem 2594

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 160 15 14 134 160 14 14

N.S.

1 1.00 10.00 0.94 0.88 8.38 10.00 0.88 0.88

time (sec)

N/A 0.143 0.005 4.156 0.223 0.259 0.043 0.294 5.641

Problem 2595

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 24 288 25 194 345 25 285

N.S.

1 1.00 0.89 10.67 0.93 7.19 12.78 0.93 10.56

time (sec)

N/A 0.160 0.046 45.188 0.216 0.280 6.220 0.356 6.581

Problem 2596

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 24 288 25 194 345 25 285

N.S.

1 1.00 0.89 10.67 0.93 7.19 12.78 0.93 10.56

time (sec)

N/A 0.156 0.002 46.167 0.214 0.263 6.236 0.374 0.002

Problem 2597

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 71 65 79 72 65 90 0 0

N.S.

1 0.87 0.79 0.96 0.88 0.79 1.10 0.00 0.00

time (sec)

N/A 0.211 0.078 3.934 0.225 0.271 2.685 0.000 0.000

Problem 2598

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 56 52 63 60 52 75 0 0

N.S.

1 0.88 0.81 0.98 0.94 0.81 1.17 0.00 0.00

time (sec)

N/A 0.197 0.066 4.093 0.208 0.285 1.519 0.000 0.000

Problem 2599

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 41 38 47 45 38 60 0 0

N.S.

1 0.89 0.83 1.02 0.98 0.83 1.30 0.00 0.00

time (sec)

N/A 0.190 0.058 3.863 0.212 0.278 1.240 0.000 0.000

Problem 2600

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 26 27 31 32 24 44 0 0

N.S.

1 0.93 0.96 1.11 1.14 0.86 1.57 0.00 0.00

time (sec)

N/A 0.176 0.049 3.807 0.208 0.279 0.794 0.000 0.000

[next] [prev] [prev-tail] [front] [up]